Sylogismus

Sylogismus (řecky: συλλογισμός – „rozhodnutí,“ „logický důsledek“; obvykle kategorický sylogismus) je druh logického tvrzení, ve kterém je jeden z výroků (závěr) odvozen z ostatních dvou předpokladů (premis) určité formy. Aristotelés definoval sylogismus v Prvních analytikách (24b18–20). Navzdory této velmi všeobecné definici se nejprve omezil na kategorický sylogismus (a později na modální sylogismus). Sylogismus je v podstatě deduktivním zdůvodňováním, kde jsou fakta určena (determinována) kombinací existujících tvrzení na rozdíl od induktivního zdůvodňování, kde jsou fakta určována opakujícím se pozorováním.